منابع مشابه
Metafol: Program Tactics and Logic Tactics plus Reflection Metafol: Program Tactics and Logic Tactics plus Reeection
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a ...
متن کاملEvasion Tactics
The number of countries that censor and monitor their citizens’ use of the Internet is increasing. While it is no secret that China and Iran censor the Internet, at least 25 countries, including Pakistan, Ethiopia, Thailand and Uzbekistan, also have technical filtering regimes in place. Some of the technology is even exported by western companies: search engines, blog hosting providers and emai...
متن کاملA new type for tactics A new type for tactics
The type of tactics in all (procedural) proof assistants is (a variant of) the one introduced in LCF. We discuss why this is inconvenient and we propose a new type for tactics that 1) allows the implementation of more clever tactics; 2) improves the implementation of declarative languages on top of procedural ones; 3) allows for better proof structuring; 4) improves proof automation; 5) allows ...
متن کاملMETAFOL: Program tactics and logic tactics plus reflection
The goal of this paper is to present a reasoning system, called METAFOL, embodying the features of a self-reeective system, i.e. a system which has a representation of its own code and is able to reason about and, possibly, extend or modify it. These features have been achieved by employing a logical meta-theory, which represents the computation implementing deduction in its object theory. Comp...
متن کاملDeath-defying tactics
Death-defying tact ics T here may be 101 ways to kill a cell, but for each there is an escape route. Cells that escape apoptosis, report Anna Colell (Institut d’Investigacions Biomediques de Barcelona, Spain), Jean-Ehrland Ricci (Université de Nice Sophia-Antipolis, France), Douglas Green (St Jude’s Children’s Research Hospital, Memphis, TN), and colleagues, also have a way to escape the back-u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 1974
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.3.5925.257-a